Diagnostic et contrôle de la dégradation des systèmes probabilistes
نویسندگان
چکیده
Le diagnostic actif est opéré par un contrôleur en vue de rendre un système diagnosticable. Afin d’éviter que le contrôleur ne dégrade trop fortement le système, on lui affecte généralement un second objectif en termes de qualité de service. Dans le cadre des systèmes probabilistes, une spécification possible consiste à assurer une probabilité positive qu’une exécution infinie soit correcte, ce qu’on appelle le diagnostic actif sûr. Nous introduisons ici deux spécifications alternatives. La gamma-correction du système affecte à une exécution une valeur de correction dépendant d’un facteur de décote gamma et le contrôleur doit assurer une valeur moyenne supérieure à un seuil fixé. La alpha-dégradation requiert qu’asymptotiquement, à chaque unité de temps une proportion supérieure à alpha des exécutions jusqu’alors correctes le demeure. D’un point de vue sémantique, nous explicitons des liens significatifs entre les différentes notions. Algorithmiquement, nous établissons la frontière entre décidabilité et indécidabilité des problèmes et dans le cas positif nous exhibons la complexité précise ainsi qu’une synthèse, potentiellement à mémoire infinie.
منابع مشابه
Contrôle et implémentation des systèmes temporisés
Cet article est une introduction au contrôle des systèmes modélisés par des automates temporisés. Nous définissons les notions de base du contrôle vu comme un jeu : stratégie, objectif de contrôle, états gagnants. On s’intéresse ensuite aux opérateurs de base permettant de résoudre les jeux temporisés. Nous considérons le cas des jeux de sûreté pour lesquels nous donnons un exemple complet de c...
متن کاملLes Réseaux Bayésiens versus d’autres modèles probabilistes pour le diagnostic multiple de systèmes complexes
Résumé. Le diagnostic multiple à base de réseaux bayésiens hérite, entre autre, des travaux sur le diagnostic à base de modèles dont certains exploitent les probabilités. D’autre part, de nombreuses applications des réseaux bayésiens portent sur le diagnostic de systèmes peu ou moyennement complexes ou encore sur le diagnostic médical. Cet article présente en détail l’intérêt du modèle graphiqu...
متن کاملValeur pratique comparée des réactions d'agglutination, de conglutination directe, d'hémagglutination polyosidique et protéinique pour le diagnostic de la peste
متن کامل
Les Réseaux Bayésiens versus d'autres modèles probabilistes pour le diagnostic multiple de gros systèmes
Notre travail se situe dans le contexte du diagnostic multiple de systèmes fiables et de grande taille. Les systèmes que nous considérons sont constitués de composants, reliés entre eux par leurs entrées ou sorties. Un composant C est soit en bon état ok(C) soit défaillant ab(C). L’objectif du diagnostic est de trouver le ou les composants défaillants qui expliquent le mieux des observations de...
متن کاملAgrégation de documents XML probabilistes∗
Les sources d’incertitude et d’imprécision des données sont nombreuses. Une manière de gérer cette incertitude est d’associer aux données des annotations probabilistes. De nombreux modèles de bases de données probabilistes ont ainsi été proposés, dans les cadres relationnel et semi-structuré. Ce dernier est particulièrement adapté à la gestion de données incertaines provenant de traitement auto...
متن کامل